DUYỆT THEO

HỒ SƠ TÁC GIẢ

TOPIC

    Số lượng truy cập

    Tìm kiếm theo: Chủ đề Lý thuyết tính toán

    Duyệt theo: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
    Hoặc nhập chữ cái đầu tiên:  
    Hiển thị kết quả từ 1 đến 2 của 2
    • TVS.000248_Computational Complexity A Modern Approach_1.pdf.jpg
    • Sách/Book

    • Computational Complexity : A Modern Approach

      • Tác giả : Sanjeev Arora (2007)

    • This book aims to describe such recent achievements of complexity theory in the context of the classical results. It is intended to both serve as a textbook as a reference for self-study. This means it must simultaneously cater to many audiences, and it is carefully designed with that goal.Throughout the book we explain the context in which a certain notion is useful, and why things are defined in a certain way.
    • TVS.006038_TT_(Texts in Computer Science) Zhe Hou - Fundamentals of Logic and Computation_ With Practical Automated Reasoning and Verification-Springe.pdf.jpg
    • Sách/Book

    • Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification

      • Tác giả : Hou, Zhe (2021)

    • This textbook aims to help the reader develop an in-depth understanding of logical reasoning and gain knowledge of the theory of computation. The book combines theoretical teaching and practical exercises; the latter is realised in Isabelle/HOL, a modern theorem prover, and PAT, an industry-scale model checker. I also give entry-level tutorials on the two software to help the reader get started.